primitive deduction

本原演绎